extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xD7).1C32 = C9xF7 | φ: C32/C3 → C3 ⊆ Out C3xD7 | 63 | 6 | (C3xD7).1C3^2 | 378,7 |
(C3xD7).2C32 = C9:3F7 | φ: C32/C3 → C3 ⊆ Out C3xD7 | 63 | 6 | (C3xD7).2C3^2 | 378,8 |
(C3xD7).3C32 = C9:4F7 | φ: C32/C3 → C3 ⊆ Out C3xD7 | 63 | 6 | (C3xD7).3C3^2 | 378,9 |
(C3xD7).4C32 = C3xC7:C18 | φ: C32/C3 → C3 ⊆ Out C3xD7 | 189 | | (C3xD7).4C3^2 | 378,10 |
(C3xD7).5C32 = C32.F7 | φ: C32/C3 → C3 ⊆ Out C3xD7 | 63 | 6 | (C3xD7).5C3^2 | 378,11 |
(C3xD7).6C32 = D7:He3 | φ: C32/C3 → C3 ⊆ Out C3xD7 | 63 | 6 | (C3xD7).6C3^2 | 378,12 |
(C3xD7).7C32 = D7xC3xC9 | φ: trivial image | 189 | | (C3xD7).7C3^2 | 378,29 |
(C3xD7).8C32 = D7xHe3 | φ: trivial image | 63 | 6 | (C3xD7).8C3^2 | 378,30 |
(C3xD7).9C32 = D7x3- 1+2 | φ: trivial image | 63 | 6 | (C3xD7).9C3^2 | 378,31 |